Split string separated by (ASCII) white space

Leading and trailing white space is ignored, repeated white space is treated
like a single white space

The result is a, possibly empty, list of separate non-empty strings.